Package satysfi-derive.1.0.0 #252
Conversation
|
🎉🎉🎉 Thank you for sending a PR! If this PR is to add new or updated SATySFi libraries, I would like you to include your new library in the package snapshots, by following the instructions below. Choose “automatic follow-up” options to add your libraries to add snapshots. Notes: I recommend adding your libraries to the snapshot with the latest develop version as well Thanks! |
zeptometer
force-pushed
the
opam-publish-satysfi-derive.1.0.0
branch
from
476fb28 to
1b3b192
Compare
zeptometer
force-pushed
the
opam-publish-satysfi-derive.1.0.0
branch
from
1b3b192 to
f63632a
Compare
|
@na4zagin3 I don't know the expected behavior, but it looks like "automatic follow-up" is not working properly. I might have done something to break it. Let me know if I need to do follow-ups. Thank you! |
|
@zeptometer I haven't considered a case where the “automatic follow-up” section is manually removed. Let me fix that. |
|
well, I swear I didn't touch the comment... It seems like opam-publish has overwritten the comment when I re-run opam-publish with an updated branch. |
|
Ah, it makes sense. I'll address that with #253. Anyway, thanks! |
|
Sweet, thank you for merging and raising the issue! |
|
Hmm, automated following-up workflow does not work well 😢 |
satysfi-derive.1.0.0SATySFi commands and DSL for displaying derivation trees with maintainable code
SATySFi commands and DSL for displaying derivation trees with maintainable code
This requires Satyrographos to install. See https://github.com/na4zagin3/satyrographos.
🐫 Pull-request generated by opam-publish v2.0.2
Automatic follow-ups
Choose follow-up actions. Do not write anything after this section.
snapshot-develop:: satysfi-derive.1.0.0Add to snapshot(Inconsistent)snapshot-stable-0-0-4snapshot-stable-0-0-5:: satysfi-derive.1.0.0